formalmethod相关论文
Event-Based Operational Semantics and a Consistency Result for Real-Time Concurrent Processes with A
In this paper an event-based operational interleaving semantics is proposed for real-time processes, for which action re......
